1,1,1-Trifluoro-4-(1-piperidinylimino)-4-(2-thienyl)-2-(trifluoromethyl)-2-butanol AIDS-142244 AIDS142244 NSC659250