Michael Polanyi (1891-1976)/descendants