1,2-Benzisothiazole, 2,3-dihydro-2,3,5-trimethyl-3-phenyl-, 1,1-dioxide AIDS-184593 AIDS184593