Ota Janeček (Czech, 1919-1996)