Pelataran Teater Besar, Taman Ismail Marzuki