Dr David Alexander Boyes, 1925–2017