AIDS-112434 AIDS112434 Carbamic acid, [(1S,2E)-3-cyano-1-(cyclohexylmethyl)-2-hydroxy-3-(4-nitrophenyl)-2-propenyl]-, 1,1-dimethylethyl ester