Posteriormente, en 1985, fue nombrado en honor del comediógrafo griego Aristófanes (444-385 a. C.).