On Modeling Hiv Infection Of Cd4+ T Cells