Pork Tenderloin with Asian Mushrooms