17129-51-0 3-Cholestenone isonicotinoyl hydrazone AIDS-008927 AIDS008927 INH cholest deriv. Isonicotinic acid, cholest-4-en-3-ylidenehydrazide