23/06、ATP Challenger Lima, Peru Men Singlesでの Lucas Gerch 対 Pedro Rodrigues のライブ結果