Braised Green Beans with Mushrooms