John Craxton (1922 - 2009)