The glucagon-like peptide-1 receptor agonist, Ex4, reduces intromission in sexually experienced male mice | Synapse