Ochotensine and related compounds. II. A synthesis of iso-ochotensine. (Studies on the syntheses of heterocyclic compounds. CCLXXV )†‡