(2S,4S)-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine-2-carboxylic acid methyl ester