Atmospheric production of radiation belt light isotopes