Filetto di manzo ai porcini con patate arrosto