1-(3-hydroxy-2-naphthoyl)-4-cyclohexylthiosemicarbazide AIDS-040754 AIDS040754