1,2-Benzisothiazol[5-fluoro-3(2H)-ones] AIDS-095392 AIDS095392