4,5,6,7-Tetrafluoro-2-benzylbenzo[d]1,3,2-dithiazoline, 1-oxide AIDS-029641 AIDS029641