Rezultati uživo Henrique Rocha protiv Pedro Martinez na dan 20/07 u natjecanju ATP Estoril, Portugal Men Singles