2,3,3-Trimethyl-1.lambda.~5~,4-diazaspiro[4.4]non-1-ene-1,4-diol AIDS-143316 AIDS143316 NSC663928