Mario Di Bartolomei (1931–2020)