I thought that the formula was not secret, but that's actually not the case: apparently, patents like this are written so that they cover a whole class of molecules without specifying exactly which one, or something of that sort. (I forgot the details.)
Why is it legal for patents to be like that? Wasn't the premise of them supposed to be "we'll fully disclose the details of this thing in exchange for a temporary monopoly on making it"?