Green Beans with Mushroom Sauce