Mario Arnone (1928–2016)