1-(3-hydroxy-2-naphthoyl)-4-ethylthiosemicarbazide AIDS-040753 AIDS040753