PROCHECK: a program to check the stereochemical quality of protein structures | Synapse