Inhibitors of HIV-1 replication that inhibit HIV integrase