Shrimps in tomato sauce with mushrooms, paprika, and white wine