AIDS-112440 AIDS112440 Carbamic acid, [(1S,2Z)-3-cyano-2-hydroxy-4-oxo-4-phenyl-1-(phenylmethyl)-2-butenyl]-, 1,1-dimethylethyl ester