Sárkőzy, István (1920–2002)