Quote from Randal Holmes-Farley:
The "acidity" (that being essentially negative alkalinity) of muriatic acid straight from the bottle is about 11,000 meq/L.
So adding 1/11,000 of the water volume as this acid will drop alkalinity by 1 meq/l (2.8 dKH).
You want a drop of 13-7 = 6 dKH, or 2.1 times that amount, so you'd add 1/5,100th of the water volume.
13 gallons ~ 49 L
1/5100 of 49 L = 9.6 mL
So I'd add 5 ml and stir well for a few minutes and see what alkalinity you get. Then dose again assuming it seems on the right track.
You'll need to aerate well after adding the acid to blow off the excess CO2 and bring up the pH.