the pubchem of 712 belongs to which drug?
(AND medicine.drug (JOIN medicine.drug.pubchem 712^^http://www.w3.org/2001/XMLSchema#integer))