1-Pyrazolidinecarboxylic acid,5-[4-mercapto-1-[(2-propenyloxy)carbonyl]-2-pyrrolidinyl]-3-oxo-,2-propenyl ester