Irvin, William D. (1905-1993)