1,2-Benzisothiazol[7-trifluoromethyl-3(2H)-ones] AIDS-095402 AIDS095402