De Novo Structure Prediction from Tandem Mass Spectra: Algorithms, Benchmarks, and Limitations | Synapse