AIDS-070592 AIDS070592 Piperidine-4-carbohydroxamic acid