Holy freaking mother of all lenses! I've never seen or heard of this lens before. It's a beast and a bird photographers dream and nightmare at the same time. Haha. But seriously with my affinity for manual lenses and medium format film this is definitely on my must have list. If I had the means of course, which I don't.
But an 800mm f/4 for 35mm would be SERIOUSLY trick if they made it. Probably cost $150,000/$200,000 if they did. Basically faster version to the 1200mm f/5.6, similar aperture diaphragm.
https://www.adorama.com/us%20%20%20%20350421.html