From Africa to Russia, from Peru to China, mining companies face a problem: the workers who haul up the earth’s riches are coming down with HIV/Aids, and it is hampering operations at a time of booming demand for minerals. Worldwide the disease has killed about 30-million people, double the amount of casualties in World War I.