1-Pyrrolidinecarboxylic acid,3-[[(5-methyl-3-isoxazolyl)amino]methylene]-2,4-dioxo-5-(phenylmethyl)-, 1,1-dimethylethyl ester, (3Z,5S)-