1,2-Benzisothiazol[5-trifluoromethyl-3(2H)-ones] AIDS-095400 AIDS095400