Opium alkaloids. IV. Isolation of isoboldine.