(3S,4R,5R)-1-(tert-butoxycarbonyl)-3,4-O-isopropylidene-3,4,5-trihydroxypiperidine