Atomic oxygen in the thermosphere during the July 13, 1982, solar proton event deduced from far ultraviolet images