Mathematical Analysis of HIV-1 Dynamics in Vivo