George Warner Allen 1916–1988