AIDS-148302 AIDS148302 Ethyl 2,7,7-trimethyl-4-(2-(methylthio)ethyl)-5-oxo-1,4,5,6,7,8-hexahydro-3-quinolinecarboxylate NSC680334