Mario Gargano (1929–2018)