Aurantinin, a new antibiotic of bacterial origin.