(1R,2S,8R,8aR)-1-(phenylsulfonyl)-8-((triisopropylsilyl)oxy)octahydroindolizin-2-ol

ethyl 2-((2R,3R)-2-((phenylsulfonyl)methyl)-3-((triisopropylsilyl)oxy)piperidin-1-yl)acetate

(2R,3S,4R)-N-benzyl-2-[(1R)-1-hydroxy-3-butenyl]-3,4-(isopropylidenedioxy)pyrrolidine

(3aS,4R,6aR)-5-benzyl-4-((R)-1-(benzyloxy)but-3-en-1-yl)-2,2-dimethyltetrahydro-3aH-[1,3]dioxolo[4,5-c]pyrrole

(8R,8aS)-3,5,6,7,8,8a-hexahydroindolizin-8-ol