Shrimp with mushroom sauce