Braised mushrooms