pork chops with brandy mushroom sauce