Towards automatically verifying chemical structures: the powerful combination of 1H NMR and IR spectroscopy | Synapse