Filetto di manzo in salsa ai porcini con patate arrosto