8-Methyl-4,5-dihydro-3.lambda.~5~-[1,2,5]oxadiazolo[3,4-f]cinnolin-3-ol AIDS-145340 AIDS145340 NSC669984