Integrating Behavioral Choice into Epidemiological Models of AIDS | Synapse