4H-1,2-Benzothiazin-4-one, 2,3-dihydro-2-(2-naphthalenylmethyl)-, 1,1-dioxide AIDS-180750 AIDS180750