Eötvös József Gimnázium — secondary school (gymnasium) in Budapest