AIDS-112432 AIDS112432 Carbamic acid, [(1S,2E)-3-cyano-2-hydroxy-1-(2-naphthalenylmethyl)-3-(4-nitrophenyl)-2-propenyl]-, 1,1-dimethylethyl ester