Development of a mouse model for HIV/AIDS.