Pinealectomy and brain myelination.