green beans and mushrooms recipe