A mathematical model of antiretroviral therapy evaluation for HIV type I