AIDS-018684 AIDS018684 delta-Carbethoxyaminovaleric acid