trichothiodystrophy Synonyms