The macroeconomics of HIV/AIDS