Just solder new plugs onto the batteries and run them in the car for a bit. If it were me, I'd get them down to around 3.7V per cell or 14.8V for a 4S pack.

Since they discharged nicely, you might be ok, though. Won't know until you run them in the car, as the car will certainly discharge the battery at a much higher rate.