(2S,4S)-2-[(5-ethoxycarbonyl)-1,2,4-oxadiazol-3-ylmethyl]-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine