(3aS,8S,8aS,9R,9aS)-8-((tert-butyldimethylsilyl)oxy)-9-hydroxy-2,2-dimethylhexahydro-[1,3]dioxolo[4,5-f]indolizin-6(7H)-one