Allergy to piperazine in a patient sensitive to ethylenediamine