Pork Tenderloin with Mushroom Sauce