1-Pyrrolidinecarboxylic acid,2-[[(methylsulfonyl)oxy]methyl]-4-[(triphenylmethyl)thio]-,1,1-dimethylethyl ester, (2S,4R)-