>>The point is HAART was developed without mice because they lack RT.
Please reference that.
Here's mine saying that mouse models are used in HIV virology:
The SCID-hu mouse: an in vivo model for HIV-1 infection in humans
PhDMark L. BonyhadlE-mail The Corresponding Author, Director, Biological Research and MD, PhDHideto Kaneshima, Director
CDR Therapeutics, 720 Broadway, Suite 612, Seattle, WA 98122, USA. Tel: +1 206 328 7250 Fax: +1 206 328 7316
HIV Gene Therapy, Progenesys Program, SyStemix Inc., 3155 Porter Drive, Palo Alto, CA 94304, USA
Available online 4 February 1998.
The lack of suitable animal models for the in vivo study of HIV-1 infection has prompted investigators to take advantage of the graft-rejection deficit in severe combined immunodeficient (SCID) mice. Two separate approaches have been used to transplant human lymphoid and/or hemolymphoid tissues into SCID mice to generate chimeric animals in which distinct elements of the human immune system could be maintained and studied in vivo. The two models that arose from this work were the SCID-hu mouse and hu-PBL-SCID mouse. The goal of producing these distinct models is to provide an easily manipulable model for the in vivo analysis of HIV-1 infection and its ensuing pathophysiology. Both models support HIV-1 replication and display potential as models for studying antiviral strategies and mechanisms of viral pathogenesis. This review focuses on the SCID-hu mouse.