Quinoline-based HIV integrase inhibitors.