Prophylactic vaccines, risk behavior change, and the probability of eradicating HIV in San Francisco | Synapse