5,7-Dimethyl-6-(4-trifluoromethylphenyl)naphthalene-2,3-diol AIDS-112374 AIDS112374