John Brough — orientalist (1917-1984)