IIRC, the formula didn't fall into Allied hands because all records of it were destroyed, except for the one copy of it that the book's hero got ahold of... so, there is no provenance or records of ownership of it... there is literally the one copy only. Thus, if Israel gets ahold of it...