Progress in the discovery and development of glutamate carboxypeptidase II inhibitors.