Braised beef with porcini mushrooms