2-(Ethylpropyl)benzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029613 AIDS029613