Models for the HIV infection and AIDS epidemic in the United States | Synapse