AIDS-058531 AIDS058531 Isonicotinic acid, 2-cyclohexyl hydrazide