20/04、ATP Madrid, Spain Men Singlesでの Henrique Rocha 対 Jan Choinski のライブ結果