Highly active antiretroviral treatment in HIV infection: benefits for neuropsychological function