I know it is 2016 and well into the era when people prefer not to use their brains except in the direst emergency but I actually feel that reasoning that if I want to cut by a factor of 4 all I have to do is dilute 1:3 is easier than going to the computer and launching the application.
The water has about 3 mEq/L alkalinity (that is what we care about - we don't really care about what the bicarbonate level is) and to remove it effectively will take about 3 mEq/L lactic acid which will leave 3 mEq/L lactate ion in the mash. This may be perfectly acceptable but people need to be aware that when an mEq of alkalinity is removed from water with acid it is replaced by a mEq of the anion of the acid used. This can be of benefit if one wished, for example, to increase the sulfate in ones liquor.
With RO dilution you would use 2 parts water to 1 part tap to get the ~3 mEq/L (147 ppm as CaCO3_ down to about 1 (49 ppm) and there would be no residual anion. I did this without a spreadsheet so you all will probably want to check my numbers.