Résultats en direct de Pedro Martinez contre Tommy Paul le 09/08 dans le tournoi ATP Cincinnati, USA Men Singles