Synthesis, antiviral, and anti-HIV-1 integrase activities of 3-aroyl-1,1-dioxo-1,4,2-benzodithiazines.