If it were my basement, I would disinfect it as well as dry it out. Perhaps a dilute solution of chlorine bleach in water. What do the experts say?