Humanized mouse models of HIV infection.