Virtual screening with AutoDock: theory and practice | Synapse