Discovery of potent HIV integrase inhibitors active against raltegravir resistant viruses.