Antonín Panenka tipuje finále Ligy mistrů