19/07、ATP Kitzbuhel, Austria Men Singlesでの Facundo Bagnis 対 Henrique Rocha のライブ結果