(2-(2-(3-Butenyl)-1,3-dioxolan-2-yl)-1-(phenylthio)ethyl)(diphenyl)phosphine oxide 2-(2-(3-Butenyl)-1,3-dioxolan-2-yl)-1-(phenylthio)ethyl(diphenyl)phosphine oxide AIDS-143192 AIDS143192 NSC663580