The F+ center in reactor-irradiated aluminum oxide