2-Cyclooctylbenzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029610 AIDS029610