AIDS-063619 AIDS063619 Isatin, 5,7-dinitro-