3-(4-Cyclohexylphenyl)-2H-1,3-benzoxazine-2,4(3H)-dione AIDS-033011 AIDS033011