1-Pyrrolidinecarboxylic acid,3-[[(1,1-dimethylethoxy)carbonyl]amino]-4-[[(methylsulfonyl)oxy]methyl]-,phenylmethyl ester, (3S,4S)-