Bit of a sore point for me this one after I sent my legs off for hardchroming and the company seems to have gone bust, these fork tubes are indeed 580mm x 35mm, I currently have K6 forks on mine so I can move it around, the F1 fork stanchions are like hens teeth, new ones are manufactured in Italy but are about £400 each!!
The other aspect is the diameter of the bore in the bottom of the leg for the oil stop which is different to the K model forks, one of the US CB750 forums has a table of part numbers and dimensions for cross reference but nothing crosses with the F1, another unique part.
I did put up a question on this forum a few months back, don't know if you've seen it?
Loki