Mario Valiante (1925–2018)