Pork roast with mushroom sauce