But if the film has already undergone an exposure at 800 ASA
I always consider such formulations worth pondering: the film is simply subject to underexposure; the shadow detail will be insufficient – depending on the subject – particularly if a camera-mounted light meter or automatic mode was used (in which case the film may well have been underexposed even further). In my opinion, extended development with D-76 and Atomal achieves only one thing here: blocked highlights – but of course
it does not restore the lost shadow detail. I also get blown-out highlights or artificially bright areas if I choose a paper with a harder gradient. I don’t need to ruin the negative even further for something like that. I would actually try Microphon – there’s no going back now, after all.