John Jay Allen (1932-2019). Necrológica