AIDS-150602 AIDS150602 Diethyl 1-(2-oxopropyl)-2-phenylvinylphosphonate NSC687829