Pork tenderloin medallions with mushroom cream sauce