Authentic HIV-1 integrase inhibitors. (July 2010)