AIDS-125408 AIDS125408 Ethyl 3-(1,2,3,4-tetrahydro-1-naphthalenyl)-2-oxiranecarboxylate NSC71637