Pork Tenderloin With Mushrooms