AIDS-130922 AIDS130922 Dimethyl 2-(1,3-dioxolan-2-yl)ethylphosphonate NSC617301