Muriatic acid cleanup?

I accidentally spilled about 2.5 gallons of diluted (4 parts water, 1 part acid) muriatic acid near my pool shed. It's an area with a "raised" floor made of 2x4's and so the liquid went down into the ground beneath. It stinks bad. What should I do to try and clean it up or at least get rid of the stink?

muriatic acid is an acid, and will react with baking soda to form salt and water (remember the volcano we made in school- lots of foamy crap from baking soda and vinegar; muriatic is really concentrated vinegar!)
pour small amounts of baking soda through cracks, add more as foaming stops (may have to add some water, if acid is dryed or soaked in...)
keep adding til no more reaction, then add about a cup more- the excess baking soda will absorb the smell!
do only a little at a time, to prevent excess reaction and foam!

Thanks. Old Mr. Vaselhoff from Middle school would be upset that I forgot those basics... Done and Done.