(1S,8R,8aS)-1-((tert-butyldimethylsilyl)oxy)-8-hydroxyhexahydroindolizin-7(1H)-one

(1S,8R,8aR)-1-((tert-butyldimethylsilyl)oxy)-7,8-bis((trimethylsilyl)oxy)-1,2,3,5,8,8a-hexahydroindolizine

(1S,8R,8aR)-1-(tert-Butyl-dimethyl-silanyloxy)-8-trimethylsilanyloxy-hexahydro-indolizin-7-one

(1S,6R,7S,8R,8aR)-8-Hydroxy-1,6,7-tris(tert-butyldimethylsiloxy)-5-oxoindolizidine

(1S,6S,7R,8R,8aR)-1,6,7,8-tetrahydroxyhexahydroindolizin-3-one