Jolly Koh, Dr (B. Singapore, 1941)