2-(2-Naphthylmethyl)benzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029631 AIDS029631