Smelly basement

I posted about this before and since then have fixed the problem. We had a leak in the bathroom plumbing which puddled in the basement compartment, after three returns to the repairman he finally located (I actually located the leak) and he repaired the problem. He still has the motor home at his place with basement doors open airing it out. Is there something we can spray in there to get rid of the smell. It is a urine smell. :R