4,9-Dihydro-10.lambda.~5~-[1,2,3]oxadiazolo[3,4-b]isoquinolin-3-ol AIDS-124360 AIDS124360 NSC24709