Pork with Green Beans and Mushrooms