The A4000 will be able to charge the battery all by itself.
As for the 600mAh, that's just the capacity of the battery. The higher the number the longer the battery will last at a certain power draw. For something like backing the RTC, the capacity probably isn't that big of a deal, though generally speaking a bigger number is better.
