San Francisco Mayor’s Proposal to Add $4.2M for HIV/AIDS Programs Supports ‘Getting to Zero’ Effort