2-Cyclopropylbenzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029609 AIDS029609