2,3-Dioxo-8-[2-(5-tetrazolyl)]-2,3,4,7,9-hexahydro-1H-6-nitro-cyclopenta[f]quinoxaline AIDS-070952 AIDS070952