3,4,4-Trimethyl-3,4-dihydro-1.lambda.~5~,2.lambda.~5~-diazete-1,2,3-triol AIDS-151378 AIDS151378 NSC691613