Sadiq al-Mahdi, Sudan former prime minister, dies of virus