1,2,3,4-Tetrafluoro-5H-benzimidazo[1,2-a][3,1]benzothiazine AIDS-145972 AIDS145972 NSC671887