07/07、ATP Challenger Nottingham 3, Great Britain Men Singlesでの Rodrigo Alujas 対 Petros Tsitsipas のライブ結果