1-Pyrrolidinecarboxylic acid,2-[[5-(hydroxymethyl)-2-oxo-3-pyrrolidinyl]methyl]-4-[(triphenylmethyl)thio]-, 2-propenyl ester