4-Aryl-2,4-dioxobutanoic Acid Inhibitors of HIV-1 Integrase and Viral Replication in Cells