Aluminum fluoride battery positive electrode