A new and simple approach for genotyping Alzheimer's disease presenilin-1 mutant knock-in mice