Rocchi a dirigere il derby: talismano di Mancini, incubo Milan