Allen, William R.(William Richard),1924-