Mario Pedini (1918–2003)