(2S,3S)-benzyl 3-((tert-butyldimethylsilyl)oxy)-2-((4S,4'R,5R)-2,2,2',2'-tetramethyl-[4,4'-bi(1,3-dioxolan)]-5-yl)pyrrolidine-1-carboxylate