Mario Vignola (1927–2017)