Altered Brain Cholesterol Machinery in a Down Syndrome Mouse Model: A Possible Common Feature with Alzheimer’s Disease