Roma-Porto, il precedente in Champions League