AIDS-070585 AIDS070585 N-(1-Aza-3-methylbut-1-enyl)-4-piperidylcarboxamide