HIV infection and Buruli ulcer in Africa