4-Aryl-2,4-dioxobutanoic acid inhibitors of HIV-1 integrase and viral replication in cells.