High proline levels in the brains of mice as related to specific learning deficits