Cerebrotendinous cholesterosis [van Bogaert-Scherer-Epstein]