AIDS-143777 AIDS143777 NSC665291 Spiro[2H-1,3-benzoxazine-2,4'-piperidin]-4(3H)-one, 1'-[3-[2-(4-fluorophenyl)-1,3-dioxolan-2-yl]propyl]-