Use penetrant to loosen the fastener, chase it several times (run the nut completely up and down the threads), then clean the bolt and stud with a wire brush. Apply some anti-seize (not too much) and you should be good.
For battery corrosion in general, I've used LPS3 with good results. It's an industrial lubricant that leaves a heavy waxy film and has preserved many battery trays in many of my vehicles.
For battery corrosion in general, I've used LPS3 with good results. It's an industrial lubricant that leaves a heavy waxy film and has preserved many battery trays in many of my vehicles.