benzyl (2S,3S)-3-((tert-butyldimethylsilyl)oxy)-2-((4R,5R)-5-((R)-1,2-dihydroxyethyl)-2,2-dimethyl-1,3-dioxolan-4-yl)pyrrolidine-1-carboxylate