AIDS-112439 AIDS112439 Carbamic acid, [(1R,2E)-3-cyano-2-hydroxy-3-(4-nitrophenyl)-1-(phenylmethyl)-2-propenyl]-, 1,1-dimethylethyl ester