4,5,6,7-Tetrahydro-8.lambda.~5~-[1,2,3]oxadiazolo[3,4-a]pyridin-3-ol AIDS-124362 AIDS124362 NSC24711