Green Beans and Mushrooms