2-(3-(3-Isopropyl-4-methyl-2-oxido-5-phenyl-1,3,2-oxazaphospholidin-2-yl)-2-propenyl)-1-((tributylstannyl)methyl)-4-piperidinone AIDS-132534 AIDS132534 NSC626664