Deterministic and Stochastic Models for HIV