A role for traditional doctors in health promotion: experience from a trial of HIV prevention in Botswana. (June 2020)