Antikaon condensation in neutron stars