Since battery leakage is acidic (low Ph), shouldn't you use a basic substance (high Ph) like a soap? I've cleaned (litteraly) an A4000 mobo with laundry detergent. It had the battery removed when I got it but the traces showed signs of ongoing corrosion within. After soaking the whole pcb in detergent for a day the board seemed to be neutralized. This was a year ago and no problems yet. Looks corrosion free.
