George Warner Allen 1916-1988