Progesterone receptor proteins in cerebellar hemangioblastoma.