Allen, William H., 1924-