Stereospecific total synthesis of gibberellic acid. A key tricyclic intermediate