. . "Compound of formula (IIIa) wherein PG is a protecting group and all other" . .