3,5,5-Trimethyl-6-(2,2,2-trifluoro-1-hydroxy-1-(trifluoromethyl)ethyl)-2-cyclohexen-1-ol AIDS-142259 AIDS142259 NSC659269