(1S,2R,8R,8aS)-8-hydroxy-1,2-O-iso-propylideneoctahydro-1,2,8-indolizidine triol

Methanesulfonic acid (4S,5R)-5-[(2S,3S)-3-(tert-butyl-diphenyl-silanyloxy)-6-oxo-piperidin-2-yl]-2,2-dimethyl-[1,3]dioxolan-4-ylmethyl ester