Green Beans With Mushrooms