Well I don't keep up with F1 I went back to the SynLube letter and I found tht it was Agip.
In 1992, Ferrari did use a SynLube product because they were losing lots of gearboxes due to design problems. The next year, Ferrari had a redesigned gear box and a fistful of money from Aqip so SynLube was history.