4-cyclohexyl-3-(3-hydroxy-2-naphthoyl)-1,2,4-triazoline-5-thione AIDS-040758 AIDS040758