AIDS-125846 AIDS125846 Carbamic acid, (3,4-dichlorophenyl)-, 2-butyne-1,4-diyl ester NSC86309