Allen, Robert W., 1923-