5,5-Dimethyl-2-oxocyclohex-3-ene-1-N-phenylcarboxamide AIDS-033184 AIDS033184 Oxocyclohexen-CONH2 deriv.