Can we spend our way out of the AIDS epidemic? A world halting AIDS model | Synapse