Influence of highly active antiretroviral therapy on persistence of HIV in the central nervous system