Green Beans With Garlic Mushrooms