5400-94-2 AIDS-018922 AIDS018922 Benzyltriethylammonium iodide