. . "The above embodiments carrying the proviso that when R7 is the formula: then R9 is other than hydrogen." . .