AIDS-133890 AIDS133890 Diethyl 4-(bis(tert-butoxycarbonyl)amino)-2-butenylphosphonate NSC630728