1-Pyrrolidinecarboxylic acid, 3-hydroxy-4-[[(methylsulfonyl)oxy]methyl]-,1,1-dimethylethyl ester, (3R,4R)-