Mario Santi (1924–2018)