(2S,4S)-2-isothiocyanatomethyl-4-tritylthio-1-(allyloxycarbonyl)pyrrolidine