Risultati in diretta di Adrian Mannarino vs Tommy Paul il 12/08 nel torneo ATP Cincinnati, USA Men Singles