John Sharman (born 1939),