Raltegravir: its use in the treatment of HIV infection