6-[N-(4-Trifluorophenyl)amino]-4,7-dioxobenzothiazole AIDS-185800 AIDS185800