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.
Randal Holmes Farley