(2R,3S,4R)-3,4-Isopropylidenedioxy-2-(phenylsulfonylmethyl)pyrrolidin-1-ol