Результаты матча Henrique Rocha против Pedro Martinez в прямом эфире 20/07 на турнире ATP Estoril, Portugal Men Singles