Green Beans with Mushrooms