Mario Vaghi (1922–1978)