As I mentioned earlier, blending that with tap water (high alkalinity) with RO (or spring water in this case) should get you close to a good mash pH for that porter. Bru'n can help you with the dilution factor... and since you know some of the ion concentrations, you could edit the RO or DI line on the Water Input page.