Design and discovery of HIV-1 integrase inhibitors