Naı¨ve T-Cell Dynamics in Human Immunodeficiency Virus Type 1 Infection: Effects of Highly Active Antiretroviral Therapy Provide Insights into the Mechanisms of Naı¨ve T-Cell Depletion