Creamy Pork Tenderloin with Mushrooms