Anti-de Sitter/conformal field theory correspondence