"of the formula (IV) ##STR00008## where R12 is a hydrogen atom, a" . . . .