Pork tenderloin with mushrooms and asparagus