Allen, David Hume, 1781-1854.