Bin Barakah, al-Mahdī, 1920-1965