Antimycobacterial ingredients from plants used in traditional medicine to treat Buruli ulcer. (December 2016)