5-Methyl-1-(3-methyl-butyryloxymethyl)-octahydro-quinolizinium AIDS-056213 AIDS056213 NSC685523 iodide