1-Pyrrolidinecarboxylic acid, 2-[(E)-2-cyano-1-hydroxy-2-(4-nitrophenyl)ethenyl]-, 1,1-dimethylethyl ester, (2S)- AIDS-112436 AIDS112436