Irving, Robert, 1913-1991