AIDS-090777 AIDS090777 Imidazo[2,1-b]thiazole, 6-[3-(trifluoromethyl)phenyl]-