My thoughts are: They are basically ruined, so wash them. One thing that I use to freshen up towels, sheets, etc. is to add baking soda and vinegar to my washing machine when I wash them. I would use about 1/4 box of baking soda and a couple cups of vinegar.
This is also how I clean the garberator in the kitchen, which seems to get smelly.
Good luck. Let us all know how you make out.
amh