Nonlinear control of HIV-1 infection with a singular perturbation model - Barão, Miguel (2007)