Hydrofluoric acid battery