(2S,4S)-2-[(2-hydroxyethyl)carbamoyl]-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine