I am the current owner of F402, which came up locally a few years ago. It came without any trace of the original paint and with the max forks long gone. I had it resprayed in a celeste pearl, colour matched from another Bianchi frame (Mega Pro XL). It's such a hard colour to properly capture on camera. I'm going to sell it soonish as it's not my size. It has a 54cm top tube (c-c). During repaint I had a full carbon fork painted to match the frame. The fork isn not period correct but does complement the frame nicely for the size of its fork blades. If anyone is interested making me an offer please drop me a message.
Bianchi Proto
Two more images here:
https://imgur.com/a/I9kxFBX