氟化铝在铝电解中的基础作用机制