1-Pyrrolidinecarboxylic acid,3-[(1-naphthalenylamino)methylene]-2,4-dioxo-5-(phenylmethyl)-,phenylmethyl ester, (3Z,5S)-