Ellman, Philip, 1918-