8-Oxo-3.lambda.~5~-azaspiro[2.5]octa-4,6-diene-1-carboxylic acid AIDS-127644 AIDS127644 NSC173984