20170723 sports.tennis: Top-seeded John Isner reaches Hall of Fame final