Cristiano Ronaldo lidera com folga a artilharia de todos os tempos da Liga dos Campeões