1-Pyrrolidinecarboxylic acid,2-(cyanomethyl)-4-ethylidene-2-hydroxy-3-methyl-5-oxo-, methyl ester,(2a,3b,4E)-