Modeling Brain Lentiviral Infections During Antiretroviral Therapy In Aids