1-Pyrrolidinecarboxylic acid,2-[4-[imino[[(2-propenyloxy)carbonyl]amino]methyl]phenyl]-4-mercapto-,2-propenyl ester, (2R,4S)-