Grigor Dimitrov vs Juan Pablo Varillas (23/09/2023)