Ferenczy, Oto (1921–2000)