1,2-Benzisothiazol-3(2H)-one, 2-phenyl- 2-Phenyl-3-thiaisoindolin-1-one AIDS-058920 AIDS058920