Miles, John, 1920-2008