I would take the board out and wash it with vinegar, then rinse with water and dry. A good first step, but some would disagree and say that it needs to be bead blasted to prevent the spread of damage. Start by reading through some of this thread: https://pinside.com/pinball/forum/topic/terrybs-guide-to-repairing-battery-damage.