铝电解用氟化镁