Live uitslagen van Henrique Rocha tegen Pedro Martinez op 20/07 in het ATP Estoril, Portugal Men Singles-toernooi