1-Pyrrolidinecarboxylic acid,2-[2-(acetyloxy)ethenyl]-5-ethenyl-3-[(4-methylphenyl)sulfonyl]-,1,1-dimethylethyl ester, (2R,3R,5R)-rel-