N-(4-Fluorobenzyl)-3-hydroxy-9,9-dimethyl-4-oxo-6,7,8,9-tetrahydro-4H-pyrazino[1,2-a]pyrimidine-2-carboxamides a novel class of potent HIV-1 integrase inhibitors