Mario Rigo (1929–2019)