Hard choices: rationing antiretroviral therapy for HIV/AIDS in Africa