Brain cholesterol turnover required for geranylgeraniol production and learning in mice | Synapse