Decline in HIV infectivity following the introduction of highly active antiretroviral therapy | Synapse