Denis Mahon — English art historian and collector (1910–2011)