(2S,4R)-2-(2,4,5-trifluoro-benzyloxymethyl)-4-tritylsulfanyl-pyrrolidine-1-carboxylic acid tert-butyl ester