Pork fillet with mushroom sauce