. "by the formula: ##STR00422## wherein R5 is a group represented by" . . .