MO4: A Many-Objective Evolutionary Algorithm for Protein Structure Prediction | Synapse