Portuguese Baked Fish Fillets with Mushrooms