Haplophyllum alkaloids. IV. Structure of foliosidine