. . . "R3 is a phenyl optionally substituted with one or more carboxy," .