AIDS-134233 AIDS134233 Ethyl 4-(acetyloxy)-2-naphthoate NSC631736