George Henry Lucas (1921-1987)