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