. . "the formula (7): ##STR00063## wherein PG is a protecting group removable" . .