Ján Jurko (1919 – 1990)