Coppa Italia, Inter-Milan: derby sold out. Record di pubblico per la semifinale