(3R,4S,5R)-1-benzyloxycarbonyl-4,5-isopropylidenedioxypiperidin-3-ol