2-(3-Phenylpropyl)benzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029623 AIDS029623