(3aR,9S,9aS,9bS)-2,2-dimethyloctahydro-[1,3]dioxolo[4,5-a]indolizin-9-yl benzoate

(3aS,9R,9aR,9bS)-9-hydroxy-2,2-dimethylhexahydro-[1,3]dioxolo[4,5-a]indolizin-4(3aH)-one

(1S,2S,8R,8aS)-8-((tert-butyldimethylsilyl)oxy)-1,2-dihydroxyhexahydroindolizin-3(2H)-one

(2R,3S,4R)-2-((R)-1-acetoxy-4-ethoxy-4-oxobutyl)pyrrolidine-3,4-diyl diacetate