Allen, J. (John), 1922-