New developments in diketo-containing inhibitors of HIV-1 integrase.