John Warnock Hinckley (1925-2008)