1,1-Cyclopropanedicarboxamide AIDS-018447 AIDS018447