Lukács, Miklós (1905–1986)