AIDS-018921 AIDS018921 Butyltriethylammonium iodide