Combined antiretroviral therapy reduces brain viral load and pathological features of HIV encephalitis in a mouse model