3,12-bis(2-Methyl-5-nitro-6-pyrrolidinylpyrimidin-4-yl)-3,6,9,12-tetraazadispiro[5.2.5.2]hexadecane AIDS-122557 AIDS122557