Erdheim-Chester disease presenting as malignant exophthalmos.