ESI Group: Q1 2020 revenue