6-Benzylamino 4-oxo-1,4-dihydro-1,8-naphthyridines and 4-oxo-1,4-dihydroquinolines as HIV integrase inhibitors.